Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
261	James Owen Weatherall Department of Logic and Philosophy of Science University of California, Irvine 3151 Social Science Plaza A Irvine, CA Add to Reading List Source URL: jamesowenweatherall.com Language: English - Date: 2015-03-09 13:22:41 Gravitation Philosophy of science Classical field theory Quantum mechanics Philosophy of mathematics Philosophy of space and time Causality Theoretical physics Physics Philosophy of physics Introductory physics
262	On the Semantics of Linking and Importing in Modular Ontologies Jie Bao1 , Doina Caragea2 , Vasant G Honavar1 1 Artificial Intelligence Research Laboratory, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-20 15:55:35 Information Knowledge representation Knowledge engineering Non-classical logic Ontology Description logic Modal logic Frame language Mereology Science Logic Information science
263	This article was downloaded by: [Princeton University] On: 21 March 2013, At: 07:43 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37-41 Mor Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-03-21 10:47:10 Mind Reasoning Non-classical logic Behavioural sciences Non-monotonic logic Belief revision Assertion Mental model Psychology Science Ethology Logic
264	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:51 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
265	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
266	Two, Many, And Diﬀerently Many Diderik Batens∗ Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-11-07 13:08:11 Non-classical logic Paraconsistent logic Semantics Philosophical logic Many-valued logic Interpretation Valuation Relevance logic Propositional calculus Logic Mathematical logic Model theory
267	Alleged Assassins Bjørn Jespersen & Giuseppe Primiero Department of Computer Science, Technical University of Ostrava & Department of Logic, Czech Academy of Sciences, Prague FWO & Centre for Logic and Philosophy of Sci Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-03 05:47:29 Modal logic Non-classical logic Transparent Intensional Logic Intensional logic Logic Philosophical logic Science
268	Some Adaptive Contributions to Logics of Formal Inconsistency Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-08-18 12:36:21 Paraconsistent logic Philosophical logic Propositional calculus Deduction Entailment Non-monotonic logic Negation Newton da Costa Disjunctive syllogism Logic Mathematical logic Non-classical logic
269	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
270	A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-08-17 07:51:58 Logic in computer science Proof theory Non-classical logic Philosophical logic Type theory Modal logic Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics

UPDATE